Listing 1 - 10 of 60 << page
of 6
>>
Sort by
Human-computer interaction : theory and practice
Authors: ---
ISBN: 0805849335 0805849327 0805849319 0805849300 9780805849325 9780805849332 9780805849318 9780805849301 Year: 2003 Publisher: Mahwah Erlbaum

Loading...
Export citation

Choose an application

Bookmark

Abstract

This four volume set provides the complete proceedings of the 10th International Conference on Human-Computer Interaction held June, 2003 in Crete, Greece. A total of 2,986 individuals from industry, academia, research institutes, and governmental agencies from 59 countries submitted their work for presentation at the conference. The papers address the latest research and development efforts, as well as highlight the human aspects of design and use of computing systems. Those accepted for presentation thoroughly cover the entire field of human-computer interaction, including the cognitive, soc

Essentials of constraint programming
Authors: ---
ISBN: 3540676236 9783540676232 Year: 2003 Publisher: Berlin Springer

Program construction : calculating implementations from specifications
Author:
ISBN: 0470848820 9780470848821 Year: 2003 Publisher: Chichester: Wiley,


Book
Algebraic codes for data transmission
Author:
ISBN: 1107127068 1107385172 1280414871 9786610414871 0511800460 0511202822 0511178697 0511077408 0511305907 0511075839 9780511077401 9780511800467 9781107385177 9780511202827 0521553741 9780521553742 0521556597 9780521556590 Year: 2003 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The need to transmit and store massive amounts of data reliably and without error is a vital part of modern communications systems. Error-correcting codes play a fundamental role in minimising data corruption caused by defects such as noise, interference, crosstalk and packet loss. This book provides an accessible introduction to the basic elements of algebraic codes, and discusses their use in a variety of applications. The author describes a range of important coding techniques, including Reed-Solomon codes, BCH codes, trellis codes, and turbocodes. Throughout the book, mathematical theory is illustrated by reference to many practical examples. The book was first published in 2003 and is aimed at graduate students of electrical and computer engineering, and at practising engineers whose work involves communications or signal processing.

Meaning and argument : an introduction to logic through language
Author:
ISBN: 1405107839 9781405107839 Year: 2003 Publisher: Malden (Mass.): Blackwell,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Logic --- Philosophy of language --- Logic. --- Language and logic. --- 681.3*I25 --- 681.3*I26 --- 681.3*I24 --- 681.3*I23 --- 681.3*F3 --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Language and logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Linguistics and logic --- Logic in language --- Language and languages --- Semantics --- Methodology

La stratégie logistique
Author:
ISBN: 2130537170 9782130537175 Year: 2003 Volume: 3679 Publisher: Paris : Presses universitaires de France,


Book
Le Forum des droits sur l'internet : premier rapport d'activité 2002.
Author:
ISBN: 2110053364 9782110053367 Year: 2003 Publisher: Paris Documentation française

Listing 1 - 10 of 60 << page
of 6
>>
Sort by